Inhalt des Dokuments

Bachelor

State-Based Representations of Distributed Consensus Algorithms

Freitag, 08. Mai 2015

Betreuer/in: Wagner
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Kammüller(Middlesex Univ., London)

Kuhnert, Dennis

We study the scalability of standard forms for process calculi. Therefore we develop a standard form for an implementation of a Distributed Consensus algorithm and compare it with a given standard form for a less complex implementation. Additionally, ...

---